Chalmers University of Technology - PDFSEARCH.IO - Document Search Engine

Chalmers University of Technology
Results: 255

#	Item
81	Rule-Based Simplification of OCL Constraints Martin Giese, Reiner H¨ ahnle, and Daniel Larsson Chalmers University of Technology School of Computer Science and EngineeringGothenburg, Sweden Add to Reading List Source URL: heim.ifi.uio.no Language: English - Date: 2007-09-18 03:47:57
82	Nested General Recursion and Partiality in Type Theory Ana Bove1 and Venanzio Capretta2 1 Department of Computing Science, Chalmers University of Technology Add to Reading List Source URL: www.duplavis.com Language: English - Date: 2012-05-09 11:33:38
83	Computation by Prophecy Ana Bove1 and Venanzio Capretta2 1 Department of Computer Science and Engineering Chalmers University of Technology, Add to Reading List Source URL: www.duplavis.com Language: English - Date: 2012-05-09 11:33:47
84	Confirmed Speakers: Tony Wilson, University of Oxford, UK Paul Verkade, University of Bristol, UK Susan Stipp, DTU, Denmark Eva Olsson, Chalmers University of Technology Tore Niermann, Technical University of Berlin Add to Reading List Source URL: cfim.ku.dk Language: English - Date: 2013-02-13 06:50:48
85	Featherweight PINQ (extended abstract) Hamid Ebadi and David Sands Department of Computer Science and Engineering, Chalmers University of Technology, Sweden Add to Reading List Source URL: tpdp.computing.dundee.ac.uk Language: English - Date: 2015-01-23 14:21:20
86	Testing Polymorphic Properties Jean-Philippe Bernardy, Patrik Jansson, and Koen Claessen Chalmers University of Technology {bernardy,patrikj,koen}@chalmers.se Abstract. This paper is concerned with testing properties of Add to Reading List Source URL: publications.lib.chalmers.se Language: English - Date: 2010-06-21 11:04:54 Software engineering Declarative programming Mathematics Type theory Functional programming Functions and mappings Polymorphism Computability theory Parametricity Auxiliary function Currying Functor
87	Dependent type theory as the initial category with families Simon Castellan December 8, 2014 Internship realized under the supervision of Peter Dybjer and Thierry Coquand Chalmers University of Technology, Gothenburg. Ab Add to Reading List Source URL: iso.mor.phis.me Language: English - Date: 2015-04-22 11:11:58
88	This article was downloaded by: [Chalmers University of Technology] On: 26 February 2015, At: 07:46 Publisher: Taylor & Francis Informa Ltd Registered in England and Wales Registered Number: Registered office: Mo Add to Reading List Source URL: www.math.chalmers.se Language: English - Date: 2015-02-26 10:47:40
89	Safe, green and intelligent Welcome to the heart of the Swedish automotive industry The Swedish automotive industry, with its very heart in the Gothenburg region, is known all over the world for its expertise Add to Reading List Source URL: www.businessregiongoteborg.com Language: English - Date: 2014-01-08 21:42:25 Land transport Volvo University of Gothenburg Automotive electronics Chalmers University of Technology Lindholmen Science Park Volvo Cars Telematics Automobile safety Transport Hisingen Sweden
90	MASTER’S PROGRAMME SOUND AND VIBRATION Add to Reading List Source URL: www.ta.chalmers.se Language: English - Date: 2011-10-31 07:48:00 Physics Institute of Sound and Vibration Research Acoustical Society of America Noise control Chalmers University of Technology Architectural acoustics Musical acoustics Academic programs in acoustics ASA Gold Medal Acoustics Sound Waves

UPDATE